Belief Reasoning, Revision and Fusion by Matrix Algebra
نویسنده
چکیده
Representation of belief states is an important issue for knowledge based systems. In this paper, we develop a matrix representation for ordered belief states and show that belief reasoning, revision and fusion can all be interpreted as operations of matrix algebra. Thus, the matrix representation can serve as the basis of algebraic semantics for belief logic.
منابع مشابه
Granular Computing on Extensional Functional Dependencies for Information System
Structure of Rough Approximations Based on Molecular Lattices p. 69 Rough Approximations under Level Fuzzy Sets p. 78 Fuzzy-Rough Modus Ponens and Modus Tollens as a Basis for Approximate Reasoning p. 84 Logic and Rough Sets Rough Truth, Consequence, Consistency and Belief Revision p. 95 A Note on Ziarko's Variable Precision Rough Set Model and Nonmonotonic Reasoning p. 103 Fuzzy Reasoning Base...
متن کاملEmbedding Defeasible Argumentation in the Semantic Web: an ontology-based approach
The SemanticWeb is a project intended to create a universal medium for information exchange by giving semantics to the content of documents on the Web by means of ontology definitions. Ontologies intended for knowledge representation in intelligent agents rely on common-sense reasoning formalizations. Defeasible argumentation has emerged as a successful approach to model common-sense reasoning....
متن کاملar X iv : c s . A I / 02 01 02 0 v 1 23 J an 2 00 2 A Modal Logic Framework for Multi - agent Belief Fusion ∗
This paper is aimed at providing a uniform framework for reasoning about beliefs of multiple agents and their fusion. In the first part of the paper, we develop logics for reasoning about cautiously merged beliefs of agents with different degrees of reliability. The logics are obtained by combining the multi-agent epistemic logic and multi-sources reasoning systems. Every ordering for the relia...
متن کاملMorphologic for knowledge dynamics: revision, fusion, abduction
Several tasks in artificial intelligence require to be able to find models about knowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this paper we exploit the algebraic framework of mathematical morphology in the context of propositional logic, and define operations such as dilation or erosion of a set of formulas. We derive concrete operators, based o...
متن کاملInterleaving belief revision and reasoning: preliminary report
Most existing work on belief revision and knowledge representation and reasoning tacitly assumes that belief revision is performed off-line, and that reasoning from the beliefs is performed either before or after the beliefs are changed. This imposes that, if a revision occurs while reasoning is performed, reasoning has to be stopped and re-started anew so that the revision is taken into accoun...
متن کامل